Finite-State Testing of Graphical User Interfaces

The most Human-Computer-Interfaces will be materialized by Graphical User Interfaces (GUI). With the growing complexity of the computer-based system, also their GUIs become more complex, accordingly making the test process more and more costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalability of the test process, revealing many rationalization potential while testing. Appropriate formal notions and tools enable to introduce efficient algorithms to generate test cases systematically. Based on a basic coverage metric, test case selection can be carried out efficiently. The elements of the approach will be narrated by realistic examples which will be used also to validate the approach.